is not disabled and TSC is not emulated
Signed-off-by: Dan Magenheimer <dan.magenheimer@oracle.com>
Signed-off-by: Keir Fraser <keir.fraser@citrix.com>
*ebx = cpuid->ebx;
*ecx = cpuid->ecx;
*edx = cpuid->edx;
+
+ /*
+ * Do not advertise host's invariant TSC unless the TSC is
+ * emulated, or the domain cannot migrate to other hosts.
+ */
+ if ( (input == 0x80000007) && /* Advanced Power Management */
+ !d->disable_migrate && !d->arch.vtsc )
+ *edx &= ~(1u<<8); /* TSC Invariant */
+
return;
}
}